@article{Kwon2002a,
	Author = {Jagun Kwon and Andy Wellings and Steve King},
	Date-Added = {2008-04-01 17:37:03 +0200},
	Date-Modified = {2008-04-01 17:38:11 +0200},
	Journal = {{Concurrency and Computation: Practice and Experience}},
	Number = {5-6},
	Pages = {681--713},
	Title = {{Ravenscar-Java: A High-Integrity Profile for Real-Time Java}},
	Volume = 17,
	Year = 2005}

@inproceedings{medvidovic97framework,
	Author = {N. Medvidovic and R. N. Taylor},
	Booktitle = {Proceedings of the~Sixth~European Software Engineering Conference~({ESEC}/{FSE} 97)},
	Date-Added = {2008-02-12 11:03:00 +0100},
	Date-Modified = {2008-02-12 11:03:00 +0100},
	Opteditor = {M. Jazayeri and H. Schauer},
	Optpages = {60--76},
	Publisher = {Springer-Verlag},
	Title = {A Framework for Classifying and Comparing Architecture Description Languages},
	Url = {citeseer.ist.psu.edu/medvidovic97framework.html},
	Year = {1997}}

@manual{arinc653,
	Author = {ARINC},
	Month = {January},
	Title = {Avionics Application Software Standard Interface, ARINC Specification 653},
	Year = {1997}}

@techreport{topcased,
	Author = {P. Farail and P. Gaufillet},
	Institution = {Airbus France},
	Note = {http://www.topcased.org},
	Title = {TOPCASED : un environnement de d\'eveloppement Open Source pour les syst\`emes embarqu\'es},
	Year = {2005}}

@techreport{osate,
	Author = {SEI AADL team},
	Institution = {SEI},
	Month = {December},
	Title = {OSATE : an extensible Source AADL tool environment},
	Year = {2004}}

@inproceedings{stood,
	Author = {P. Dissaux},
	Booktitle = {2nd European Congres ERTS (Embedded Reat Time Software},
	Month = {January},
	Title = {Using AADL for mission critical software development},
	Year = {2004}}

@techreport{f06,
	Author = {Leo Freitas},
	Date-Modified = {2008-02-12 12:17:50 +0100},
	Institution = {University of York},
	Title = {POSIX 1003.21 Standard -- Real Time Distributed Systems Communication (in Z/Eves)},
	Year = {2006}}

@book{OCL98,
	Author = {J. Warmer and A. Kleppe},
	Publisher = {Addison-Wesley},
	Title = {{The Object Constraint Language : Precise Modeling with UML}},
	Year = {1998}}

@techreport{enst06ocarina,
	Author = {T. Vergnaud and B. Zalila},
	Institution = {T{\'e}l{\'e}com Paris},
	Title = {{Ocarina: a Compiler for the AADL}},
	Year = {2006}}

@techreport{feiler06aadl,
	Author = {Peter H. Feiler and David P. Gluch and John J. Hudak},
	Date-Modified = {2008-02-06 16:27:32 +0100},
	Institution = {CMU},
	Note = {CMU/SEI-2006-TN-011},
	Title = {{The Architecture Analysis \& Design Language (AADL): An Introduction}},
	Year = {2006}}

@inproceedings{bogor,
	Author = {William Deng and Matthew B. Dwyer and John Hatcliff and Georg Jung and Robby and Gurdip Singh},
	Booktitle = {Proceedings of the First International Symposium on Formal Methods for Components and Objects (FMCO 2002)},
	Date-Modified = {2008-02-12 11:09:01 +0100},
	Title = {Model-checking Middleware-based Event-driven Real-time Embedded Software},
	Year = 2003}

@unpublished{aadl-v1.0,
	Author = {SAE},
	Month = {sep},
	Title = {{Architecture} {Analysis} \& {Design} {Language}({AS5506})},
	Year = {2004}}

@techreport{sae2006open-source-aad,
	Author = {SAE},
	Date-Added = {2006-12-04 09:38:18 +0100},
	Date-Modified = {2006-12-04 09:38:18 +0100},
	Institution = {SAE},
	Title = {{Open Source AADL Tool Environment}},
	Url = {http://aadl.info},
	Year = {2006}}

@inproceedings{HZP06,
	Address = {Porto Alegre, Brazil},
	Author = {J\'er\^ome Hugues and Bechir Zalila and Laurent Pautet},
	Booktitle = {Proceedings of the 18th IEEE International Workshop on Rapid System Prototyping (RSP'07)},
	Month = {May},
	Pages = {106-112},
	Publisher = {IEEE Computer Society Press},
	Title = {{Rapid Prototyping of Distributed Real-Time Embedded Systems Using the AADL and Ocarina}},
	Year = 2007}

@manual{SAE04,
	Author = {SAE},
	Month = {September},
	Title = {Architecture Analysis and Design Language (AS5506)},
	Year = {2004}}

@manual{Ravenscar03,
	Author = {A. Burns and B. Dobbing and T. Vardanega},
	Title = {Guide for the use of the Ada Ravenscar profile in high integrity systems},
	Year = {2003}}

@book{omg2003uml-2.0-superst,
	Author = {OMG},
	Date-Modified = {2008-02-06 16:27:11 +0100},
	Publisher = {OMG},
	Title = {{UML 2.0 Superstructure Specification}},
	Year = {2003}}

@book{omg2007a-uml-profile-f,
	Author = {OMG},
	Date-Modified = {2008-02-06 16:25:02 +0100},
	Publisher = {OMG},
	Title = {{A UML profile for MARTE - Beta 1}},
	Year = {2007}}

@book{douglass2002real-time-desig,
	Author = {Bruce P. Douglass},
	Date-Modified = {2006-05-31 22:20:05 +0200},
	Month = {SEP},
	Publisher = {Addison-Wesley},
	Title = {{Real-Time Design Patterns: Robust Scalable Architecture for Real-Time Systems}},
	Year = {2002}}

@InProceedings{  LiuLayland73,
  author =       {C. Liu and J.Layland},
  title =        {Scheduling algorithms for multi-programming in a Hard-Real-Time environment},
  booktitle =    {JACM},
  year =         {1973},
  month =        {January}
}

@InProceedings{  HZP07,
  author =       {J. Hugues and B. Zalila and L. Pautet},
  title =        {Rapid Prototyping of Distributed Real-Time Embedded Systems Using the AADL and Ocarina},
  booktitle =    {18th IEEE/IFIP International Workshop on Rapid System Prototyping (RSP'07)},
  year =         {2007},
  month =        {June},
  address =      {Porto Allegre Bresil}
}

@misc { gnatmetrics,
   note={http://www.adacore.com/home/}
}

@manual { Tbound,
  title =         {Bound-T timing analysis tool : user manual},
  organization =  {Tidorum Ltd},
  year =          {2007},
  month =         {june},
  address =       {Helsinki, Finland},
  note =          {http://www.bound-t.com/user-manual.pdf}
}

@inproceedings{SRL90,
        Author = {L. Sha and R. Rajkumar and J. Lehoczky},
        Booktitle = {IEEE Transactions on Computers},
        Title = {Priority Inheritance Protocols : An approach to Real-Time Sync\
hronization},
        Year = {1990}}
